Discrete Math Negating Quantifiers